#define GLUT

void ilpDisplayInit(int argc, char **argv);
void ilpDisplayDamage(void);
